Hack A Sat Challenge 1 Explained